extract:

fetch:
	rm -f fetched/rfc*
	wget http://www.ietf.org/rfc/rfc822.txt
	mv rfc* fetched/
